Смотреть больше слов в «Словаре логики»
СЛОЖНОЕ ВЫСКАЗЫВАНИЕ — высказывание, полученное с помощью логических связок из простых высказываний. Наиболее употребительны С. в., образованные с помощью слов: "и", "или", "если, то", "если и только если", "не". Вместо этих слов в логике используются символы: &, v, ->, <b>º</b>,<i> </i>~.<i> </i>С. в. <i>А& В </i>называется <i>конъюнкцией </i>("<i>А </i>и <i>В</i>"),<i> </i><i>A</i><i> </i>v <i>В </i>-<i> дизъюнкцией </i>("<i>А </i>или <i>В</i>"),<i> А </i>-> <i>В — импликацией </i>("Если <i>A</i>, то В"), <i>А <u>=</u> В — эквивалентностью </i>("<i>А</i>,<i> </i>если и только если <i>В</i>"),<i> ~ А — отрицанием </i>("Неверно, что <i>A</i>", или "не-<i>A</i>"). Установление смысла и способа употребления логических связок, позволяющих образовывать С. в., является задачей наиболее фундаментальной и вместе с тем самой простой части логики — <i>исчисления высказываний</i>. <br><br><br>... смотреть
compound proposition
• složený výrok